Proof calculus - PDFSEARCH.IO - Document Search Engine

Proof calculus
Results: 476

#	Item
441	Are there Hard Examples for Frege Systems? Maria Luisa Bonet Add to Reading List Source URL: www.lsi.upc.edu Language: English - Date: 2004-11-24 07:53:45 Propositional calculus Mathematical logic Logic in computer science Frege system Automated theorem proving Computational complexity theory Gottlob Frege Tautology Mathematical proof Mathematics Logic Theoretical computer science
442	Theoretical Elsevier Add to Reading List Source URL: www.univr.it Language: English - Date: 2012-11-16 08:23:50 Non-classical logic Substructural logic Logic in computer science Predicate logic Sequent calculus Intuitionistic logic First-order logic Atomic formula Natural deduction Logic Mathematical logic Proof theory
443	Algebraic Properties of Rules of Frege-Hilbert Calculi Elmar Eder Add to Reading List Source URL: www.cosy.sbg.ac.at Language: English - Date: 2005-08-09 12:26:52 Proof theory Automated theorem proving Propositional calculus Logic in computer science Hilbert system Proof calculus Combinatory logic Well-formed formula Deduction theorem Logic Mathematical logic Mathematics
444	Mathematical Logic Helmut Schwichtenberg Add to Reading List Source URL: www.mathematik.uni-muenchen.de Language: English - Date: 2010-07-21 04:18:08 Predicate logic Propositional calculus Logical syntax Proof theory First-order logic Natural deduction Well-formed formula Atomic formula Intuitionistic logic Logic Mathematical logic Mathematics
445	ON A DECIDABLE FRAGMENT OF PREDICATE CALCULUS Add to Reading List Source URL: suppes-corpus.stanford.edu Language: English - Date: 2008-11-05 20:24:12 Propositional calculus Proof theory Logical syntax First-order logic Monadic predicate calculus Decidability Well-formed formula Sequent calculus Proposition Logic Mathematical logic Predicate logic
446	Substitution Frege and extended Frege proof systems in non-classical logics Emil Jeˇr´abek Add to Reading List Source URL: www.math.cas.cz Language: English - Date: 2008-11-24 09:00:50 Propositional calculus Modal logic Logic in computer science Philosophical logic Kripke semantics General frame Intermediate logic Intuitionistic logic Natural deduction Logic Mathematical logic Non-classical logic
447	Annals of Mathematics, [removed]), 459–489 Proof of the Double Bubble Conjecture Add to Reading List Source URL: www.ugr.es Language: English - Date: 2006-05-08 18:37:09 Area Soap bubble Integral Mathematics Integral calculus Mathematical analysis Calculus Calculus of variations
448	DRAFT New Equations for Neutral Terms Add to Reading List Source URL: perso.ens-lyon.fr Language: English - Date: 2013-07-04 11:01:23 Applied mathematics Symbol Natural deduction Normalisation by evaluation Lambda calculus Orbifold World glyph set Mathematical logic Theoretical computer science Proof theory
449	. Wesleyan University . Add to Reading List Source URL: emorehouse.web.wesleyan.edu Language: English - Date: 2013-04-18 17:56:39 Natural deduction Linear logic Sequent Intuitionistic logic Categorical logic Curry–Howard correspondence First-order logic Negation Propositional calculus Logic Mathematical logic Proof theory
450	Propositions as Sessions Philip Wadler University of Edinburgh Add to Reading List Source URL: homepages.inf.ed.ac.uk Language: English - Date: 2012-08-31 07:10:39 Theoretical computer science Proof theory Predicate logic Computability theory Models of computation Π-calculus Function Natural deduction Generalization Mathematics Mathematical logic Logic